Deriving Consistent GSM Schemas from DCR Graphs (Full version)

Case Management (CM) is a BPM technology for supporting flexible services orchestration. CM approaches like the OMG standard CMMN and one of its core influences GSM use Event-Condition-Action rules, which can be inconsistent due to cyclic interdependencies between the rules. Repairing an inconsistent case management schema is difficult. To avoid this problem, we provide a technique for automatically deriving consistent GSM case management schemas from higher-level business policies defined as DCR graphs, an alternative CM approach. Concretely, we define a behaviour-preserving mapping that (1) removes the burden from the modeller of GSM schemas to prove consistency and define the ordering of rules, (2) provides high-level patterns for modelling GSM schemas, (3) shows a way to define a notion of progress (liveness) and acceptance for GSM instances. The mapping is illustrated by a running example of a mortgage loan application and a prototype implementation available at http://dcr.itu.dk/icsoc16.